241. Runtime verification
پدیدآورنده : Sarfraz Khurshid, Koushik Sen (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
242. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
243. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
244. SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995
پدیدآورنده : ed. by Gerhard Rabe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Datensicherung,Software,Zuverlässigkeit
245. SAP90, ETABS, SAFE: computer software for structural & earthquake engineering, installation guide
پدیدآورنده : Sample examaple and verification manual by Ashraf Habibullah, and Edward L. Wilson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer programs - Handbooks, manuals, etc ، Structural engineering,SAP09 )Computer program language( - Handbooks, manuals, etc,ETABS )Computer program language( - Handbooks, manuals, etc,SAFE )Computer program language( - Handbooks, manuals, etc
رده :
TA
641
.
S26
246. SAT 2005 :
پدیدآورنده : edited by Enrico Giunchiglia and Toby Walsh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
رده :
QA76
.
9
.
A43
S28
2006eb
247. SDL '97 :
پدیدآورنده : Ana Cavalli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : SDL (Computer program language)
248. Selenium framework design in data-driven testing :
پدیدآورنده : Carl Cocchiaro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Browsers (Computer programs)-- Testing-- Automation.,Java (Computer program language),Web applications-- Testing-- Automation.,Computers-- Programming Languages-- Java.,Computers-- Software Development & Engineering-- Quality Assurance & Testing.,Computers-- Web-- Browsers.,Internet browsers.,Java (Computer program language),Programming & scripting languages: general.,Software testing & verification.
رده :
QA76
.
76
.
T48
249. Services -- SERVICES 2019 :
پدیدآورنده : Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
250. Simulation :
پدیدآورنده : Stewart Robinson, Professor of Management Science, Loughborough University.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation.,Simulation methods.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Operations Research.,Computer simulation.,Computersimulaties.,General.,General.,Simulatie.,Simulatiemodellen.,Simulation methods.
رده :
QA76
.
9
.
C65
R63
2014
251. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Software engineering.
252. Software Engineering for Large Software Systems
پدیدآورنده : edited by B.A. Kitchenham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1990
253. Software Engineering for Resilient Systems :
پدیدآورنده : edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
254. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
255. Software Fault Tolerance :
پدیدآورنده : edited by Manfred Kersken, Francesca Saglietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer system performance.,Data transmission systems.
رده :
QA76
.
9
.
F38
E358
1992
256. Software composition :
پدیدآورنده : Walter Binder ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Komponente (Software),Softwareentwicklung.,SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING)
رده :
QA76
.
76
.
D47
W358
2013
257. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.
258. Software engineering :
پدیدآورنده : Václav Rajlich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming,Software engineering
رده :
QA76
.
758
.
R36
2012
259. Software engineering :
پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84
260. Software engineering analysis and verification
پدیدآورنده : Lewis, Theodore Gyle, 1491-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Software engineering,، Computer software -- Verification
رده :
QA
76
.
6
.
L477